"Prädikatenlogik" meaning in All languages combined

{
  "categories": [
    {
      "kind": "other",
      "name": "Anagramm sortiert (Deutsch)",
      "parents": [],
      "source": "w"
    },
    {
      "kind": "other",
      "name": "Deutsch",
      "parents": [],
      "source": "w"
    },
    {
      "kind": "other",
      "name": "Grundformeintrag (Deutsch)",
      "parents": [],
      "source": "w"
    },
    {
      "kind": "other",
      "name": "Roter Audiolink",
      "parents": [],
      "source": "w"
    },
    {
      "kind": "other",
      "name": "Rückläufige Wörterliste (Deutsch)",
      "parents": [],
      "source": "w"
    },
    {
      "kind": "other",
      "name": "Rückläufige Wörterliste Grundformeintrag (Deutsch)",
      "parents": [],
      "source": "w"
    },
    {
      "kind": "other",
      "name": "Singularetantum (Deutsch)",
      "parents": [],
      "source": "w"
    },
    {
      "kind": "other",
      "name": "Substantiv (Deutsch)",
      "parents": [],
      "source": "w"
    },
    {
      "kind": "other",
      "name": "Substantiv f (Deutsch)",
      "parents": [],
      "source": "w"
    },
    {
      "kind": "other",
      "name": "Wiktionary:Audio-Datei",
      "parents": [],
      "source": "w"
    },
    {
      "kind": "other",
      "name": "Siehe auch",
      "orig": "siehe auch",
      "parents": [],
      "source": "w"
    }
  ],
  "etymology_text": "Determinativkompositum aus den Substantiven Prädikat und Logik",
  "forms": [
    {
      "form": "die Prädikatenlogik",
      "tags": [
        "nominative",
        "singular"
      ]
    },
    {
      "form": "der Prädikatenlogik",
      "tags": [
        "genitive",
        "singular"
      ]
    },
    {
      "form": "der Prädikatenlogik",
      "tags": [
        "dative",
        "singular"
      ]
    },
    {
      "form": "die Prädikatenlogik",
      "tags": [
        "accusative",
        "singular"
      ]
    }
  ],
  "hypernyms": [
    {
      "sense_index": "1",
      "word": "logisches"
    },
    {
      "sense_index": "1",
      "word": "System"
    }
  ],
  "hyphenation": "Prä·di·ka·ten·lo·gik",
  "lang": "Deutsch",
  "lang_code": "de",
  "pos": "noun",
  "senses": [
    {
      "examples": [
        {
          "ref": "Marcus Bierich: Einführung in die mathematische Philosophie. In: Die Zeit. 24. Dezember 1982, abgerufen am 4. Februar 2013.",
          "text": "„Da es sich hierbei um Beziehungszahlen handelt, reicht die bisherige Prädikatenlogik zu ihrer Definition nicht aus.“"
        },
        {
          "ref": "Thomas v. Randow: Logik aus der Denkmaschine. In: Die Zeit. 3. Oktober 1986, abgerufen am 4. Februar 2013.",
          "text": "„Ansonsten ist das Büchlein allgemeinverständlich und es erklärt – was die beiden anderen erwähnten Bücher versäumen – viel von dem, was hinter der Programmsprache steht, zum Beispiel die Prädikatenlogik oder die Beziehungen zwischen PROLOG und anderen logischen Programmiersprachen.“"
        }
      ],
      "glosses": [
        "System zur Darstellung von Aussagen, welches auf Prädikaten und Quantoren aufbaut; die generellen Termini einer Aussage werden in der Prädikatenlogik durch Variablen ersetzt und formalisiert"
      ],
      "id": "de-Prädikatenlogik-de-noun-vZzLWZ6e",
      "raw_tags": [
        "Logik"
      ],
      "sense_index": "1"
    }
  ],
  "sounds": [
    {
      "ipa": "pʁɛdiˈkaːtn̩ˌloːɡɪk"
    },
    {
      "audio": "De-Prädikatenlogik.ogg",
      "mp3_url": "https://upload.wikimedia.org/wikipedia/commons/transcoded/1/1c/De-Prädikatenlogik.ogg/De-Prädikatenlogik.ogg.mp3",
      "ogg_url": "https://commons.wikimedia.org/wiki/Special:FilePath/De-Prädikatenlogik.ogg"
    }
  ],
  "synonyms": [
    {
      "sense_index": "1",
      "word": "Quantorenlogik"
    }
  ],
  "tags": [
    "feminine"
  ],
  "translations": [
    {
      "lang": "Tschechisch",
      "lang_code": "cs",
      "sense_index": "1",
      "tags": [
        "feminine"
      ],
      "word": "predikátová logika"
    }
  ],
  "word": "Prädikatenlogik"
}

{
  "categories": [
    "Anagramm sortiert (Deutsch)",
    "Deutsch",
    "Grundformeintrag (Deutsch)",
    "Roter Audiolink",
    "Rückläufige Wörterliste (Deutsch)",
    "Rückläufige Wörterliste Grundformeintrag (Deutsch)",
    "Singularetantum (Deutsch)",
    "Substantiv (Deutsch)",
    "Substantiv f (Deutsch)",
    "Wiktionary:Audio-Datei",
    "siehe auch"
  ],
  "etymology_text": "Determinativkompositum aus den Substantiven Prädikat und Logik",
  "forms": [
    {
      "form": "die Prädikatenlogik",
      "tags": [
        "nominative",
        "singular"
      ]
    },
    {
      "form": "der Prädikatenlogik",
      "tags": [
        "genitive",
        "singular"
      ]
    },
    {
      "form": "der Prädikatenlogik",
      "tags": [
        "dative",
        "singular"
      ]
    },
    {
      "form": "die Prädikatenlogik",
      "tags": [
        "accusative",
        "singular"
      ]
    }
  ],
  "hypernyms": [
    {
      "sense_index": "1",
      "word": "logisches"
    },
    {
      "sense_index": "1",
      "word": "System"
    }
  ],
  "hyphenation": "Prä·di·ka·ten·lo·gik",
  "lang": "Deutsch",
  "lang_code": "de",
  "pos": "noun",
  "senses": [
    {
      "examples": [
        {
          "ref": "Marcus Bierich: Einführung in die mathematische Philosophie. In: Die Zeit. 24. Dezember 1982, abgerufen am 4. Februar 2013.",
          "text": "„Da es sich hierbei um Beziehungszahlen handelt, reicht die bisherige Prädikatenlogik zu ihrer Definition nicht aus.“"
        },
        {
          "ref": "Thomas v. Randow: Logik aus der Denkmaschine. In: Die Zeit. 3. Oktober 1986, abgerufen am 4. Februar 2013.",
          "text": "„Ansonsten ist das Büchlein allgemeinverständlich und es erklärt – was die beiden anderen erwähnten Bücher versäumen – viel von dem, was hinter der Programmsprache steht, zum Beispiel die Prädikatenlogik oder die Beziehungen zwischen PROLOG und anderen logischen Programmiersprachen.“"
        }
      ],
      "glosses": [
        "System zur Darstellung von Aussagen, welches auf Prädikaten und Quantoren aufbaut; die generellen Termini einer Aussage werden in der Prädikatenlogik durch Variablen ersetzt und formalisiert"
      ],
      "raw_tags": [
        "Logik"
      ],
      "sense_index": "1"
    }
  ],
  "sounds": [
    {
      "ipa": "pʁɛdiˈkaːtn̩ˌloːɡɪk"
    },
    {
      "audio": "De-Prädikatenlogik.ogg",
      "mp3_url": "https://upload.wikimedia.org/wikipedia/commons/transcoded/1/1c/De-Prädikatenlogik.ogg/De-Prädikatenlogik.ogg.mp3",
      "ogg_url": "https://commons.wikimedia.org/wiki/Special:FilePath/De-Prädikatenlogik.ogg"
    }
  ],
  "synonyms": [
    {
      "sense_index": "1",
      "word": "Quantorenlogik"
    }
  ],
  "tags": [
    "feminine"
  ],
  "translations": [
    {
      "lang": "Tschechisch",
      "lang_code": "cs",
      "sense_index": "1",
      "tags": [
        "feminine"
      ],
      "word": "predikátová logika"
    }
  ],
  "word": "Prädikatenlogik"
}